const double t;
P=? [F[t,t] s1=1 & ![s=1 & a=1] ]